operator precedence in discrete mathematics